Type-checking move-up-slow
...action passes type checking.
Type-checking move-down-slow
...action passes type checking.
Type-checking move-up-fast
...action passes type checking.
Type-checking move-down-fast
...action passes type checking.
Type-checking board
...action passes type checking.
Type-checking leave
...action passes type checking.
Checking plan: <PATH_REMOVED>
Plan to validate:

Plan size: 23
1:
(board p5 fast1 n3 n0 n1)
 
2:
(move-down-fast fast1 n3 n2)
 
3:
(move-up-fast fast0 n0 n1)
 
4:
(board p1 fast0 n1 n0 n1)
 
5:
(move-up-fast fast0 n1 n3)
 
6:
(leave p1 fast0 n3 n1 n0)
 
7:
(leave p5 fast1 n2 n1 n0)
 
8:
(move-up-fast fast1 n2 n4)
 
9:
(board p2 fast1 n4 n0 n1)
 
10:
(move-down-fast fast1 n4 n2)
 
11:
(leave p2 fast1 n2 n1 n0)
 
12:
(move-up-fast fast1 n2 n4)
 
13:
(board p3 fast1 n4 n0 n1)
 
14:
(move-down-fast fast1 n4 n0)
 
15:
(leave p3 fast1 n0 n1 n0)
 
16:
(board p0 slow0-0 n1 n0 n1)
 
17:
(move-down-slow slow0-0 n1 n0)
 
18:
(leave p0 slow0-0 n0 n1 n0)
 
19:
(move-up-slow slow0-0 n0 n1)
 
20:
(move-down-fast fast0 n3 n1)
 
21:
(board p4 fast0 n1 n0 n1)
 
22:
(move-up-fast fast0 n1 n3)
 
23:
(leave p4 fast0 n3 n1 n0)
 

Plan Validation details
-----------------------

Checking next happening (time 1)
Deleting (passenger-at p5 n3)
Deleting (passengers fast1 n0)
Adding (boarded p5 fast1)
Adding (passengers fast1 n1)

Checking next happening (time 2)
Deleting (lift-at fast1 n3)
Adding (lift-at fast1 n2)
Updating (total-cost) (0) by 4 increase

Checking next happening (time 3)
Deleting (lift-at fast0 n0)
Adding (lift-at fast0 n1)
Updating (total-cost) (4) by 4 increase

Checking next happening (time 4)
Deleting (passenger-at p1 n1)
Deleting (passengers fast0 n0)
Adding (boarded p1 fast0)
Adding (passengers fast0 n1)

Checking next happening (time 5)
Deleting (lift-at fast0 n1)
Adding (lift-at fast0 n3)
Updating (total-cost) (8) by 7 increase

Checking next happening (time 6)
Deleting (boarded p1 fast0)
Deleting (passengers fast0 n1)
Adding (passenger-at p1 n3)
Adding (passengers fast0 n0)

Checking next happening (time 7)
Deleting (boarded p5 fast1)
Deleting (passengers fast1 n1)
Adding (passenger-at p5 n2)
Adding (passengers fast1 n0)

Checking next happening (time 8)
Deleting (lift-at fast1 n2)
Adding (lift-at fast1 n4)
Updating (total-cost) (15) by 7 increase

Checking next happening (time 9)
Deleting (passenger-at p2 n4)
Deleting (passengers fast1 n0)
Adding (boarded p2 fast1)
Adding (passengers fast1 n1)

Checking next happening (time 10)
Deleting (lift-at fast1 n4)
Adding (lift-at fast1 n2)
Updating (total-cost) (22) by 7 increase

Checking next happening (time 11)
Deleting (boarded p2 fast1)
Deleting (passengers fast1 n1)
Adding (passenger-at p2 n2)
Adding (passengers fast1 n0)

Checking next happening (time 12)
Deleting (lift-at fast1 n2)
Adding (lift-at fast1 n4)
Updating (total-cost) (29) by 7 increase

Checking next happening (time 13)
Deleting (passenger-at p3 n4)
Deleting (passengers fast1 n0)
Adding (boarded p3 fast1)
Adding (passengers fast1 n1)

Checking next happening (time 14)
Deleting (lift-at fast1 n4)
Adding (lift-at fast1 n0)
Updating (total-cost) (36) by 13 increase

Checking next happening (time 15)
Deleting (boarded p3 fast1)
Deleting (passengers fast1 n1)
Adding (passenger-at p3 n0)
Adding (passengers fast1 n0)

Checking next happening (time 16)
Deleting (passenger-at p0 n1)
Deleting (passengers slow0-0 n0)
Adding (boarded p0 slow0-0)
Adding (passengers slow0-0 n1)

Checking next happening (time 17)
Deleting (lift-at slow0-0 n1)
Adding (lift-at slow0-0 n0)
Updating (total-cost) (49) by 6 increase

Checking next happening (time 18)
Deleting (boarded p0 slow0-0)
Deleting (passengers slow0-0 n1)
Adding (passenger-at p0 n0)
Adding (passengers slow0-0 n0)

Checking next happening (time 19)
Deleting (lift-at slow0-0 n0)
Adding (lift-at slow0-0 n1)
Updating (total-cost) (55) by 6 increase

Checking next happening (time 20)
Deleting (lift-at fast0 n3)
Adding (lift-at fast0 n1)
Updating (total-cost) (61) by 7 increase

Checking next happening (time 21)
Deleting (passenger-at p4 n1)
Deleting (passengers fast0 n0)
Adding (boarded p4 fast0)
Adding (passengers fast0 n1)

Checking next happening (time 22)
Deleting (lift-at fast0 n1)
Adding (lift-at fast0 n3)
Updating (total-cost) (68) by 7 increase

Checking next happening (time 23)
Deleting (boarded p4 fast0)
Deleting (passengers fast0 n1)
Adding (passenger-at p4 n3)
Adding (passengers fast0 n0)
Plan executed successfully - checking goal
Plan valid
Final value: 75 

Successful plans:
Value: 75
 <PATH_REMOVED> 75 


plan is valid!!